Checking for model consistency in optimal fingerprinting: a comment

نویسندگان

چکیده

Abstract Allen and Tett (1999, herein AT99) introduced a Generalized Least Squares (GLS) regression methodology for decomposing patterns of climate change attribution purposes proposed the “Residual Consistency Test” (RCT) to check GLS specification. Their has been widely used highly influential ever since, in part because subsequent authors have relied upon their claim that model satisfies conditions Gauss-Markov (GM) Theorem, thereby yielding unbiased efficient estimators. But AT99 stated GM Theorem incorrectly, omitting critical condition altogether, method cannot satisfy conditions, variance estimator is inconsistent by construction. Additionally, they did not formally state null hypothesis RCT nor identify which it tests, prove its distribution values, rendering uninformative as specification test. The continuing influence two decades later means these issues should be corrected. I 6 needing shown valid.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Checking UML Model Consistency

UML is nowadays a de-facto standard for design and development of (object-oriented) software. With version 2.0 UML has achieved a more precise formal semantics. The same happened to OCL, a specification language which is an integral part of UML that allows to embed software contracts in the model. In this work we propose an approach for a static verification of consistency of UML models which r...

متن کامل

Model Checking Dynamic UML Consistency

UML is widely accepted and extensively used in software modeling. However, using different diagrams to model different aspects of a system brings the risk of inconsistency among diagrams. In this paper, we investigate an approach to check the consistency between the sequence diagrams and statechart diagrams using the SPIN model checker. To deal with the hierarchy structure of statechart diagram...

متن کامل

A Tool Based on DL for UML Model Consistency Checking

Automated consistency checking of UML models becomes necessary as models grow in size and complexity. Since the UML metamodel does not enforce model consistency, there are no fixed guidelines on how to approach the consistency problem. Current solutions are generally partial. The translation of the metamodel and the user designed model into Description Logics has proved to provide a solution in...

متن کامل

Model Checking Sequential Consistency and Parameterized Protocols

Perhaps the most difficult aspect of designing a shared memory multiprocessor is the hardware protocol that facilitates the sharing of memory by multiple processors; these protocols are thus a natural target for formal verification. In this thesis we consider several problems relevant to model checking these protocols. The ultimate specification of a protocol is the memory model. Our more theor...

متن کامل

Model Checking Sequential Consistency and Parameterized Protocols

Perhaps the most difficult aspect of designing a shared memory multiprocessor is the hardware protocol that facilitates the sharing of memory by multiple processors; these protocols are thus a natural target for formal verification. In this thesis we consider several problems relevant to model checking these protocols. The ultimate specification of a protocol is the memory model. Our more theor...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Climate Dynamics

سال: 2021

ISSN: ['0930-7575', '1432-0894']

DOI: https://doi.org/10.1007/s00382-021-05913-7